// Author: combacsa@kaist.ac.kr
// http://www.jungol.co.kr/prog/Hanal/hanalView.php?qs_code=1039

//#define COMPILE
// �쇰컲�앹쓣 援ы븯�꾨줉 �섎㈃ �щ��덇쿋��.
#ifdef COMPILE

#include <fstream>

using namespace std;

int n;

void input() {
    ifstream in("input.txt");
    in >> n;
    in.close();
}

void output() {
    ofstream out("output.txt");
    int sum = 0;
    for (int i = 0; i <= n; i++) {
        sum += (i + 1);
    }
    out << sum;
    out.close();
}

int main() {
    input();
    
    
    output();
    return 0;
}


#endif
